Feeds to Scour
SubscribedAll
Scoured 19414 posts in 252.3 ms
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🦀Rust Verification
Declarative, Reproducible Emacs
irreal.org·10h
🧩Shell Metaprogramming
Rebuilding the spellchecker
zverok.space·7h
🌲Parse Trees
Revisiting Regular Types
abseil.io·4h
λLambda Encodings
Synthesizing scientific literature with retrieval-augmented language models
nature.com·1d
🔍Information Retrieval
Metasploit Wrap-Up 02/06/2026
rapid7.com·1d
🛡️eBPF Security
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·8h
📝Concrete Syntax
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·10h
🦀Rust Macros
stdlib v7.2
erlang.org·1d·
Discuss: Hacker News
🦀Rusty Databases
Private Data Space Model
privatedata.space·2d
✅Format Verification
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
But .me can reveal actual values pulled from secret context without revealing the secret context.
dev.to·5h·
Discuss: DEV
🦠Parasitic Archives
Build a Compiler in Five Projects
kmicinski.com·16h
🔨Compilers
How I Built My Project in Haskell
dev.to·2h·
Discuss: DEV
🔗Functional Compilers
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·10h·
Discuss: Hacker News, r/Compilers
⚡Incremental Computation
Kubernetes Operator for automated Jupyter Notebook validation in MLOps pipelines
reddit.com·1d·
Discuss: r/kubernetes
✅Archive Validation
When Clever Hardware Hacks Bite Back: A Password Keeper Device Autopsy
hackaday.com·2h
🔓Hacking
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help